interactive proof system - Allemand Anglais Dictionnaire